Software Dependability Modeling Using AADL (Architecture Analysis and Design Language)
نویسندگان
چکیده
In traditional development processes, each type of analysis is generally based on a dedicated model, which requires substantial amount of training to be used effectively. Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This paper is related to the building of dependability models for architectural software systems using the AADL (Architecture Analysis and Design Language). It presents reusable modeling patterns for fault-tolerant applications and shows how the presented patterns can be used in the context of a subsystem of a real-life application.
منابع مشابه
An architecture-based dependability modeling framework using AADL
For efficiency reasons, the software system designers’ will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses such as dependability, schedulability and performance. AADL (Architecture Analysis and Design Language) has proved to be efficient for software architecture modeling. In addition, AADL was designed to accommodate severa...
متن کاملA System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs
The increasing complexity of new-generation systems which take into account interactions between hardware and software components, particularly the fault-tolerant systems, raises major preoccupations in various critical application domains.These preoccupations concern principally the modeling and analysis requirements of these systems.Thus, designers are interested in the verification of critic...
متن کاملA System Dependability Modeling Framework Using AADL and GSPNs
For efficiency and cost control reasons, system designers’ will is to use an integrated set of methods and tools to describe specifications and design, and also to perform dependability analyses. The SAE (Society of Automotive Engineers) AADL (Architecture Analysis and Design Language) has proved to be efficient for architectural modeling. We present a modeling framework allowing the generation...
متن کاملSoftware dependability modeling using an industry-standard architecture description language
Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This paper gives guidelines for building architectural dependability models for software systems using the AADL (Architecture Analysis and Design Language). It presents reusab...
متن کاملModélisation de la sreté de fonctionnement basée sur le langage AADL et les RdPSG
For efficiency reasons, system designers’ will is to use an integrated set of methods and tools to describe specifications, and also to perform dependability analyses. AADL (Architecture Analysis and Design Language) has proved its capacity for architectural modeling. This paper presents a modeling framework allowing the generation of dependability-oriented analytical models from AADL models, t...
متن کامل